Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id RAA27430
for <willy@odie.barnet.ac.uk>; Wed, 1 Jul 1998 17:52:06 +0100
Received: from nic.funet.fi ([128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id RAA24360
for <willy@bofh.ai>; Wed, 1 Jul 1998 17:11:41 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:28774 "EHLO vger.rutgers.edu" ident: "TIMEDOUT") by nic.funet.fi with ESMTP id <11233-14900>; Wed, 1 Jul 1998 19:11:27 +0300
Received: by vger.rutgers.edu id <970803-3822>; Wed, 1 Jul 1998 11:04:37 -0400
Received: from pecan.acorn.co.uk ([136.170.131.22]:42399 "HELO pecan.acorn.co.uk" ident: "NO-IDENT-SERVICE[2]") by vger.rutgers.edu with SMTP id <971378-3822>; Wed, 1 Jul 1998 10:59:49 -0400
Received: from ether120.acorn.co.uk by pecan.acorn.co.uk (SMI-8.6/SMI-SVR4)
id QAA03297; Wed, 1 Jul 1998 16:41:21 +0100
Date: Wed, 01 Jul 1998 16:41:20 +0100 (BST)
From: John Vickers <jvickers@acorn.com>
Subject: Re: ARM and RPM
To: Russell King - ARM Linux Admin <linux@arm.uk.linux.org>
Cc: linux@arm.uk.linux.org, John Vickers <jvickers@acorn.com>,